Monads Are Monoids In The Category Of Endofunctors - A Scala 3 Journey, No Psychobabble